George Necula - PDFSEARCH.IO - Document Search Engine

George Necula
Results: 57

#	Item
21	Published in Proc. of Conference on Compiler Construction, 2004, pp. 73–88. Elkhound: A Fast, Practical GLR Parser Generator Scott McPeak and George C. Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:33
22	A model and framework for reliable build systems Derrick Coetzee Anand Bhaskar George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:34:20
23	A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula}@cs.ber Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:17
24	Published in “Static Analysis Symposium”, SAS, 2004 Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions Sumit Gulwani and George C. Necula University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:39
25	Published in “Logic in Computer Science”, LICS, A Sound Framework for Untrusted Verification-Condition Generators George C. Necula∗ Robert R. Schneck Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25
26	A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula}@cs.ber Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:17
27	pdfauthor CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:29
28	Discovering Affine Equalities Using Random Interpretation Sumit Gulwani George C. Necula University of California, Berkeley {gulwani,necula}@cs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:19 Dimension Affine space Affine arithmetic Expected value Randomized algorithm Affine connection Conditional expectation Affine geometry Mathematics Mathematical analysis
29	Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:29:36 Declarative programming Satisfiability Modulo Theories Type system Prolog Symbolic execution Linear programming Theoretical computer science Software engineering Constraint programming
30	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory

UPDATE